returning home
If from a medial straight line there is subtracted a medial straight line which is commensurable with the whole in square only and which contains with the whole a rational rectangle, then the remainder is irrational.